Gisli Gudjonsson's penchant for corroboration.

L2 Learners’ Stylistic Penchant and Perceived Aptness for Metaphors and Similes

Aptness, defined as how the vehicle is well able to cover the salient features of the tenor (e.g., oil is like liquid gold vs. a train is like a worm), is claimed to be an important factor in the preference for metaphors over similes, or vice versa. This study was an attempt to test for the supposed correlation between the perceived degree of aptness and a priori stylistic preference for metaph...

Coward, William R. and Feghali-Bostwick, Carol A. and Jenkins, Gisli and Knox, Alan J. and Pang, Linhua (2014) A central role for G9a and EZH2 in the epigenetic silencing of cyclooxygenase-2 in idiopathic pulmonary

Philosophy and phylogenetic inference: a comparison of likelihood and parsimony methods in the context of Karl Popper's writings on corroboration.

Advocates of cladistic parsimony methods have invoked the philosophy of Karl Popper in an attempt to argue for the superiority of those methods over phylogenetic methods based on Ronald Fisher's statistical principle of likelihood. We argue that the concept of likelihood in general, and its application to problems of phylogenetic inference in particular, are highly compatible with Popper's phil...

NpgRj_Ng_1508 129..137

Hreinn Stefansson1,3, Agnar Helgason1,3, Gudmar Thorleifsson1, Valgerdur Steinthorsdottir1, Gisli Masson1, John Barnard2, Adam Baker1, Aslaug Jonasdottir1, Andres Ingason1, Vala G Gudnadottir1, Natasa Desnica1, Andrew Hicks1, Arnaldur Gylfason1, Daniel F Gudbjartsson1, Gudrun M Jonsdottir1, Jesus Sainz1, Kari Agnarsson1, Birgitta Birgisdottir1, Shyamali Ghosh1, Adalheidur Olafsdottir1, Jean-Bap...

Logic with Equality: Partisan Corroboration and Shifted Pairing

Herbrand's theorem plays a fundamental role in automated theorem proving methods based on tableaux. The crucial step in procedures based on such methods can be described as the corroboration problem or the Herbrand skeleton problem, where, given a positive integer m, called multiplicity, and a quanti er free formula, one seeks a valid disjunction of m instantiations of that formula. In the pres...